package org.wrm.saferJava.test;

import wrm.saferJava.annotations.state.AllowedCallState;
import wrm.saferJava.oval.constraint.NotNull;
import wrm.saferJava.oval.guard.Guarded;

@Guarded
public interface IAnnotatedHelloWorld {

	
	@AllowedCallState(0)
	public abstract void callMeFirst(@NotNull String text);
	
	@AllowedCallState(1)
	public abstract void callMeSecond(String text);
}
